Semi-Automatic Test Case Generation from Business Process Models
نویسندگان
چکیده
In this work, we describe our method for designing test cases based on high level functional specifications – business process models. Category Partition Method (CPM) is used to automatically create test frames based on possible paths, which are determined by business rules. The test frames can then be used in the process of test case design, together with filtering and prioritization also given as CPM rules. We present the details of the adaptation of CPM, together with first experiences from applying the method in an industrial context.
منابع مشابه
An Automatic Test Case Generation Framework for Web Services
BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi-formal flow language with complex features such as concurrency and hierarchy. To test a model thoroughly, we need to cover different execution scenarios. As is well known, it is tedious, time-consuming, and error prone t...
متن کاملSemi-Automatic Test Case Generation from CO-OPN Specifications
In this paper we will describe our work on automatic generation of tests for Systems Under Test (SUT) described in the CO-OPN specification language that has been developed in our laboratory. CO-OPN (Concurrent Object Oriented Petri Nets) is a formalism for describing concurrent software systems that possesses most of the characteristics we can find in mainstream semi-formal modeling languages....
متن کاملAutomatic Interpretation of UltraCam Imagery by Combination of Support Vector Machine and Knowledge-based Systems
With the development of digital sensors, an increasing number of high-resolution images are available. Interpretation of these images is not possible manually, which necessitates seeking for practical, fast and automatic solutions to solve the environmental and location-based management problems. The land cover classification using high-resolution imagery is a difficult process because of the c...
متن کاملi3MAGE: Incremental, Interactive, Inter-Model Mapping Generation
School of Business Informatics and Mathematics Doktor der Naturwissenschaften i3MAGE: Incremental, Interactive, Inter-Model Mapping Generation by Christoph Pinkel Data integration is a highly important prerequisite for most enterprise data analyses. While hard in general, a particular concern is about human effort for designing a global integration schema, authoring queries against that schema,...
متن کاملAn MDA Method for Automatic Transformation of Models from CIM to PIM
The Model Driven Architecture (MDA) approach introduces a clear separation of the business logic from the implementation logic that's less stable. It uses the models that are more perennial than codes. It puts the models at the centre of the development of software and of the information systems. The MDA approach consists at, firstly, developing the CIM Model, secondly, obtaining the PIM model ...
متن کامل